$a$ $\oplus$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$ $\oplus$ $b$